42.42/42.80	unsat
