42.01/43.69	unsat
