64.15/67.67	unsat
