64.77/68.18	unsat
