44.72/47.37	unsat
