60.69/61.73	unsat
