42.11/42.20	unsat
