40.29/44.55	unsat
