68.34/71.69	unsat
