67.98/68.68	unsat
