62.14/63.34	unsat
