64.77/67.92	unsat
