42.55/42.63	unsat
