17.74/18.48	unsat
