144.37/181.29	unsat
