64.77/67.14	unsat
