230.67/232.10	unsat
