39.84/42.26	unsat
