13.67/15.32	unsat
