61.23/61.44	unsat
