40.52/43.79	unsat
