17.75/20.89	unsat
