66.72/68.84	unsat
