42.02/42.14	unsat
