2.30/2.32	unsat
