15.67/16.66	unsat
