68.11/68.75	unsat
