67.80/68.97	unsat
