15.67/15.78	unsat
