10.25/12.32	unsat
