61.51/61.79	unsat
