42.53/43.43	unsat
