42.51/42.69	unsat
