44.08/47.68	unsat
