42.78/42.97	unsat
