39.74/42.26	unsat
