147.53/149.75	unsat
