42.90/43.83	unsat
