40.83/43.22	unsat
