232.48/234.22	unsat
