40.17/43.38	unsat
