147.41/149.52	unsat
