40.45/41.05	unsat
