17.60/18.48	unsat
