44.46/47.35	unsat
