39.78/42.85	unsat
