65.36/68.94	unsat
