68.64/70.77	unsat
