44.92/47.31	unsat
