147.24/149.38	unsat
