42.47/42.97	unsat
