39.68/42.78	unsat
