9.17/12.32	unsat
