40.32/43.74	unsat
