7.67/12.16	unsat
