17.63/21.48	unsat
