14.67/17.32	unsat
