44.61/47.30	unsat
