14.94/16.88	unsat
