2.34/9.32	unsat
