40.58/42.73	unsat
