61.27/61.40	unsat
