39.70/43.42	unsat
