68.61/68.94	unsat
