42.22/42.38	unsat
