62.56/68.64	unsat
