40.83/43.64	unsat
