40.12/43.87	unsat
