42.91/44.05	unsat
