42.20/43.09	unsat
