145.66/149.96	unsat
