60.93/61.13	unsat
