67.25/68.03	unsat
